Graphical combinatorics and a distributive law for modular operads
نویسندگان
چکیده
This work presents a detailed analysis of the combinatorics modular operads. These are operad-like structures that admit contraction operation as well an operadic multiplication. Their governed by graphs cycles, and known for their complexity. In 2011, Joyal Kock introduced powerful graphical formalism paper extends work. A monad operads is constructed corresponding nerve theorem proved, using Weber's abstract theory, in terms originally stated Kock. achieved distributive law sheds new light on
منابع مشابه
Operads, clones, and distributive laws
We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day’s tensor products, or via analytical functors) fit with the profunctor approach.
متن کاملOperads in algebraic combinatorics
The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial informatio...
متن کاملOperads and Algebraic Combinatorics of Trees
This text is an introduction to operads from a combinatorial point of view. We give the definition, several examples of operads and the construction of a group from each operad.
متن کاملModular and Distributive Semilattices
A modular semilattice is a semilattice S in which w > a A ft implies that there exist i,jeS such that x > a. y > b and x A y = x A w. This is equivalent to modularity in a lattice and in the semilattice of ideals of the semilattice, and the condition implies the Kurosh-Ore replacement property for irreducible elements in a semilattice. The main results provide extensions of the classical charac...
متن کاملLogic as a distributive law
We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc : Cat → Cat for the free calculus on a category of terms and rewrites and a 2-monad BoolAlg for the free Boolean algebra on a category, we get a 2-monad Form = BoolAlg + Calc for the free category of formulae and proofs. We also get the 2-monad BoolA...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2021
ISSN: ['1857-8365', '1857-8438']
DOI: https://doi.org/10.1016/j.aim.2021.108011